41. Artificial evolution : 5th International Conference, Evolution Artificielle, EA 2001, Le Creusot, France, October 29-31, 2001 : selected papers
پدیدآورنده : Pierre Collet...]et al.[ )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Evolutionary programming )Computer science(,Congresses ، Genetic algorithms
رده :
QA
76
.
L28
Vol
.
2310
42. Artificial evolution : 6th International Conference, Evolution Artificielle, EA 2003, Marseilles, France, October 27-30, 2003 : revised selected papers
پدیدآورنده : Pierre Liardet...]et al.[ )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Evolutionary programming )Computer science(,Congresses ، Genetic algorithms
رده :
QA
76
.
L28
Vol
.
2936
43. Artificial evolution : third European conference, AE'97, Nimes, France, October 22-24, 1997: selected papers
پدیدآورنده : J.-K. Hao...]et al.[ )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Evolutionary programming )Computer science(,Congresses ، Genetic algorithms
رده :
QA
76
.
L28
Vol
.
1363
44. Artificial intelligence :
پدیدآورنده : Zhi-Hua Zhou, Qiang Yang, Yang Gao, Yu Zheng (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Algorithms & data structures.,Artificial intelligence.,Artificial intelligence.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Database Management-- Data Mining.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Data mining.,Discrete mathematics.
رده :
Q334
45. Artificial intelligence XXXV :
پدیدآورنده : Max Bramer, Miltos Petridis (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Algorithms & data structures.,Artificial intelligence.,Artificial intelligence.,Computer networking & communications.,Computers-- Data Processing.,Computers-- Hardware-- Network Hardware.,Computers-- Intelligence (AI) & Semantics.,Computers-- Online Services-- General.,Computers-- Programming-- Algorithms.,Information technology: general issues.,Network hardware.
رده :
Q334
46. Artificial life and evolutionary computation :
پدیدآورنده : edited by Marcello Pelillo, Irene Poli, Andrea Roli, Roberto Serra, Debora Slanzi, Marco Villani.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Evolutionary computation, Congresses.,Self-organizing systems, Congresses.,Algorithms & data structures.,Artificial intelligence.,Artificial life.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Evolutionary computation.,Mathematical theory of computation.,Mathematics-- Logic.,Self-organizing systems.
رده :
Q325
.
W58
2017
47. Artificial neural nets and genetic algorithms :
پدیدآورنده : George D. Smith, Nigel C. Steele, Rudolf F. Albrecht [editors]
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Genetic algorithms, Congresses,Neural networks (Computer science), Congresses
رده :
QA76
.
87
.
A73
1998
48. Artificial neural networks and machine learning -- ICANN 2018 :
پدیدآورنده : Věra Kůrková, Yannis Manolopoulos, Barbara Hammer, Lazaros Iliadis, Ilias Maglogiannis (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Neural networks (Computer science), Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Computer Systems Organization and Communication Networks.,Image Processing and Computer Vision.,Information Systems and Communication Service.,Systems and Data Security.,Algorithms & data structures.,Artificial intelligence.,Computer networking & communications.,Computer security.,Computers-- Computer Graphics.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Online Services-- General.,Computers-- Programming-- Algorithms.,Computers-- Security-- General.,Image processing.,Neural networks (Computer science)
رده :
QA76
.
87
49. Automata, Languages, and Programming : 30th international colloquim , ICALP 2003, Eindhoven, The Netherlands, June 30th-July 4, 2003 : Proceedings
پدیدآورنده : Jos C.M. Baeten ... ]et al.[ )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming,Congresses ، Computer algorithms
رده :
QA
76
.
L28
Vol
.
2719
50. Automata, languages and programming :
پدیدآورنده : J. Leach Albert, B. Monien, M. Rodríguez Artalejo (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Machine theory -- Congresses.,Machine theory.
رده :
QA267
.
J543
1991
51. Automata, languages, and programming :
پدیدآورنده : edited by Jan Paredaens.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers) -- Congresses.
52. Automata, languages, and programming :
پدیدآورنده : edited by J.W. de Bakker and J. van Leeuwen.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming -- Congresses.,Formal languages -- Congresses.,Machine theory -- Congresses.
53. Bio-inspired computing :
پدیدآورنده : Jianyong Qiao, Xinchao Zhao, Linqiang Pan, Xingquan Zuo, Xingyi Zhang, Qingfu Zhang, Shanguo Huang (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Natural computation, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computers-- Hardware-- Network Hardware.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Natural computation.,Network hardware.
رده :
Q335
54. CONPAR 81 :
پدیدآورنده : edited by Wolfgang Händler.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Parallel processing (Electronic computers),Parallel processing (Electronic computers) -- Congresses.,Parallélisme (Informatique)
55. CONPAR 90-VAPP IV :
پدیدآورنده : H. Burkhart, ed.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Parallel processing (Electronic computers), Congresses.,Vector processing (Computer science), Congresses.
رده :
QA76
.
58
.
J65
1990
56. Combinatorial algorithms :
پدیدآورنده : edited by Ljiljana Brankovic, Joe Ryan, William F. Smyth.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Combinatorial analysis, Congresses.,Computer algorithms, Congresses.,Algorithms & data structures.,Algorithms.,Artificial intelligence.,Artificial intelligence.,Computer science-- Mathematics.,Computer science.,Computer security.,Computer security.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Security-- General.,Data structures (Computer science),Discrete mathematics.,Mathematical theory of computation.,Numerical analysis.
رده :
QA76
.
9
.
M35
57. Combinatorial and global optimization /
پدیدآورنده : editors, Panos M. Pardalos, Athanasios Migdalas, Rainer E. Burkard.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Combinatorial optimization, Congresses.,Mathematical optimization, Congresses.,Nonlinear programming, Congresses.,Optimisation combinatoire, Congrès.,Optimisation mathématique, Congrès.,Programmation non linéaire, Congrès.,Combinatorial optimization.,Mathematical optimization.,MATHEMATICS-- Combinatorics.,Nonlinear programming.
رده :
QA402
.
5
.
C5435
2002eb
58. Communicating process architectures 2009 :
پدیدآورنده : edited by Peter H. Welch [and others].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer architecture, Congresses.,occam (Computer program language), Congresses.,Parallel processing (Electronic computers), Congresses.,Transputers, Congresses.,Computer architecture.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,occam (Computer program language),Parallel processing (Electronic computers),Transputers.
رده :
QA76
.
58
.
W58
2009
59. Computational complexity
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Electronic digital computers-- Programming-- Congresses,، Electronic data processing-- Mathemaitcs-- Congresses,، Electronic data processing-- Numerical analysis-- Congresses
رده :
QA
76
.
5
.
C671
1971
60. Computational complexity : proceedings : 17th IEEE Annual Conference on Computational Complexity : 21-24 May, 2002, Montreal, Canada
پدیدآورنده : Sponsored by IEEE Computer Society Techninal Committee on Mathematical Foundation of Computing; in cooperation with SIGACT...
کتابخانه: (طهران)
موضوع : Congresses ، Computational complexity,Congresses ، Nonlinear boundary value problems,Congresses ، Polynomials,Congresses ، Logic programming
رده :
QA
267
.
7
.
I36
2002